<?php
	//
	// Retourne le nom d'un fichier ou dossier
	// d'après son url
	//
	function filename_from_url($path){
		return substr(strrchr($path, "/"), 1);
	}
	//
?>